Online State Estimation for Supervisor Synthesis in Discrete-Event Systems With Communication Delays and Losses

Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses

Decision Fusion and Supervisor Synthesis in Decentralized Discrete-Event Systems

We study a problem in decentralized supervisory control coined the Global Problem (GP) by Rudie and Wonham (1992). The objective is to nd local supervisors that generate languages that lie in a speci ed range of closed languages. We present results for a version of this problem called the Special Global Problem, (SGP) where the lower end of the range is empty and the higher end of the range is ...

On Compositional Supervisor Synthesis for Discrete Event Systems

Over the past decades, human dependability on technical devices has rapidly increased. Many activities of such devices can be described by sequences of events, where the occurrence of an event causes the system to go from one state to another. This is elegantly modeled by automata. Systems that are modeled in this way are referred to as discrete event systems. Many of these systems appear in se...

On-line Supervisor Synthesis for Partially-observed Discrete-event Systems

A partial information supervisor that generates a class of closed controllable and observable sublanguages of a speci ed `legal' language is presented. The supervisor has the following features: (i) it can be implemented on-line (i.e., the disabled event set need only be computed once upon each event observation); (ii) the computations of the disabled event set can be performed in O(mn) worst-c...

Supervisor Synthesis for Discrete Event Systems under Partial Observation and Arbitrary Forbidden State Speci cations

In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri net is structurally bounded, we compute a set of weakly forbidden markings from which forbidden markings can be reached by ring a sequence of uncontrollable/unobservable transit...